\chapter{Disfonctionnements constatés}

\section{Etat initial}
Nous avons pu faire afficher un message d'erreur lorsque l'utilisateur clique sur le bouton pour choisir de créer un état initial ou intial/final alors qu'il en existe déjà un. 
Cependant, nous aurions aimé faire afficher un message d'erreur lorsque l'utilisateur après avoir choisi "initial state" ou "initial/final state" et créé un premier état de ce type, tente d'en créer un second. 
Dans ce cas, l'état n'est pas créé, certes, mais l'utilisateur n'est pas informé de ce qu'il se passe. 

\section{Fermeture de l'application}
Lorque l'utilisateur choisi de quitter une des fenêtres de l'application, en cliquant sur la croix de la barre de titre ou bien par le menu "File", toutes les fenêtres de l'application se ferment.
Nous aurions voulu permettre à l'utilisateur de fermer ses fenêtres une à une. 

%%% Local Variables: 
%%% mode: latex
%%% TeX-master: "../main"
%%% End: 
